$\forall$$x$, $y$:Atom. ($\uparrow$$x$ =a $y$) $\Leftarrow\!\Rightarrow$ ($x$ = $y$)